Search results for "No-go theorem"
showing 2 items of 2 documents
Wick Theorem for General Initial States
2012
We present a compact and simplified proof of a generalized Wick theorem to calculate the Green's function of bosonic and fermionic systems in an arbitrary initial state. It is shown that the decomposition of the non-interacting $n$-particle Green's function is equivalent to solving a boundary problem for the Martin-Schwinger hierarchy; for non-correlated initial states a one-line proof of the standard Wick theorem is given. Our result leads to new self-energy diagrams and an elegant relation with those of the imaginary-time formalism is derived. The theorem is easy to use and can be combined with any ground-state numerical technique to calculate time-dependent properties.
The parameterized local deduction theorem for quasivarieties of algebras and its application
1996
Let τ be an algebraic type. To each classK of τ-algebras a consequence relation ⊧ K defined on the set of τ-equations is assigned. Some weak forms of the deduction theorem for ⊧ K and their algebraic counterparts are investigated. The (relative) congruence extension property (CEP) and its variants are discussed.CEP is shown to be equivalent to a parameter-free form of the deduction theorem for the consequence ⊧ K .CEP has a strong impact on the structure ofK: for many quasivarietiesK,CEP implies thatK is actually a variety. This phenomenon is thoroughly discussed in Section 5. We also discuss first-order definability of relative principal congruences. This property is equivalent to the fact…